Economic policy evaluations require social welfare functions for variable-size populations. Two important candidates are critical-level generalized utilitarianism (CLGU) and rank-discounted critical-level generalized utilitarianism, which was recently characterized by Asheim and Zuber (2014) (AZ). AZ introduce a novel axiom, existence of egalitarian equivalence (EEE). First, we show that, under some uncontroversial criteria for a plausible social welfare relation, EEE suffices to rule out the Repugnant Conclusion of population ethics (without AZ’s other novel axioms). Second, we provide a new characterization of CLGU: (...) AZ’s set of axioms is equivalent to CLGU when EEE is replaced by the axiom same-number independence. (shrink)

Variable-Value axiologies avoid Parfit’s Repugnant Conclusion while satisfying some weak instances of the Mere Addition principle. We apply calibration methods to two leading members of the family of Variable-Value views conditional upon: first, a very weak instance of Mere Addition and, second, some plausible empirical assumptions about the size and welfare of the intertemporal world population. We find that such facts calibrate these two Variable-Value views to be nearly totalist, and therefore imply conclusions that should seem repugnant to anyone who (...) opposes Total Utilitarianism only due to the Repugnant Conclusion. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

Walter Reese-Schäfer, Karl-Otto Apel, Zur Einführung (with an Afterword by Jürgen Habermas), Junis Verlag GmbH, Hamburg 1990, 176pp. DM 17.80 -/- The author, presently a freelance writer published in the newspaper “Die Zeit” and the magazine “Stern,” pro­vides in this small book a clear and concise introduction to sources, themes and conclusions in the philosophy of Karl-Otto Apel. Apel, Emeritus Pro­fessor at Frank­furt, and close colleague of Habermas, characterizes his viewpoint as a “transcen­dental pragmatism” in which a Kantian concern (...) for question regarding “the conditions for the possi­bility of some­thing,” (p.10) mixes with deontological discourse-ethics, semeiotic themes from Peirce, an ap­proach to fallibilism, the demand for “final justifica­tions” (Letzt­begründung) and German her­meneutics. In view of the “den­sity and concentration” of Apel’s texts, which often have a “deterrent effect” upon those not already at home with “the phil­osophical language game,” it is the announced aim of this book to provide a work of translation and clarification of Apel’s special­ized efforts --in effect an orientation to Apel’s work. The book divides into an Introduction, 8 chapters and a summary conclusion --with Habermas’ appreciation, “A Master Builder with Hermeneutic Feeling --The Way of Philosopher Karl-Otto Apel,” bringing up the rear. There is also a bibliography of primary and secondary sources and a short table outlining highlights of Apel’s career. The “Introduction” provides a good overview of the aims of the book and gets one started on central themes. (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

In several essays I have argued that Berkeley maintains the same basic notion of spiritual substance throughout his life. Because that notion is not the traditional (Aristotelian, Cartesian, or Lockean) doctrine of substance, critics (e.g., John Roberts, Tom Stoneham, Talia Mae Bettcher, Margaret Atherton, Walter Ott, Marc Hight) claim that on my reading Berkeley either endorses a Humean notion of substance or has no recognizable theory of substance at all. In this essay I point out how my interpretation does (...) not assume that Berkeley adopts a bundle theory of mind, but instead redefines what it means for a simple substance to be the principle by which ideas are perceived. (shrink)

This study aimed to highlight the nature of the relationship between knowledge management and the strategic decision-making process, considering that strategic decisions are formulated and made based on a specific knowledge perspective. The study targeted the university management, deans of faculties, and college directors at Al-Azhar University - Gaza. The study followed a descriptive-analytical approach, and data was collected through a questionnaire designed to cover six dimensions related to knowledge management processes and an axis related to strategic decision-making. The data (...) was analyzed using various statistical methods. The study results showed a statistically significant positive relationship between the role of knowledge management processes and activating the strategic decision-making process at Al-Azhar University - Gaza. The study recommended that the university pay more attention to the processes of knowledge awareness and application as they serve as the link between existing knowledge and the creation of good knowledge. Furthermore, these processes are considered the essential means through which the university improves the effectiveness of strategic decisions and enhances its position. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

Shows that the very same asymmetries that arise for intentionally also arise from deciding, desiring, in favor of, opposed to, and advocating. It seems that the phenomenon is not due to anything about the concept of intentional action in particular. Rather, the effects observed for the concept of intentional action should be regarded as just one manifestation of the pervasive impact of moral judgment.

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

Nietzsche has been accused by Habermas of abandoning the pursuit of emancipation and truth. Ironically, this pursuit is at the core of Nietzsche’s works, though radically transformed. The pursuit of knowledge requires emancipated sovereign individuality, a severe honesty, and the courage to follow one's most rigorous use of reason and creative insight wherever they may lead, including the most disturbing insights about truth, language and reason themselves. The first part of this paper discusses Nietzsche’s ideas of individual sovereignty and the (...) associated ideas of emancipation and transformation necessary to this. The next section entitled The Question of Truth: Beyond Universalism and the Quest for Foundations and Certainty deals with how knowledge and truth are intelligible notions in the absence of certainty and absolute standards of truth. The following section, Nietzsche, Habermas and Social Solidarity shows how Habermas’s attempt to ground morality in his discourse ethics cannot succeed once the Nietzchean insight into truth is understood. In the final part, The Irony of Sovereign Individuality, I argue that morality is inconsistent with the individuality that it is supposed to uphold. Nietzsche’s ethical ideal provides a model for concrete individuality that offers the most powerful ethical contribution to social solidarity, given the failure of any grounded morality. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Research Articles Dean Moyar, Kantian Review, FirstView Article.

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

Researchers often lack the necessary data to credibly estimate racial discrimination in policing. In particular, police administrative records lack information on civilians police observe but do not investigate. In this article, we show that if police racially discriminate when choosing whom to investigate, analyses using administrative records to estimate racial discrimination in police behavior are statistically biased, and many quantities of interest are unidentified—even among investigated individuals—absent strong and untestable assumptions. Using principal stratification in a causal mediation framework, we derive (...) the exact form of the statistical bias that results from traditional estimation. We develop a bias-correction procedure and nonparametric sharp bounds for race effects, replicate published findings, and show the traditional estimator can severely underestimate levels of racially biased policing or mask discrimination entirely. We conclude by outlining a general and feasible design for future studies that is robust to this inferential snare. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

In this summary I introduce the interpretive framework for Hegel's Conscience and then provide an overview of the book’s six chapters.

In Understanding Moral Obligation: Kant, Hegel, Kierkegaard, Robert Stern argues that Hegel has a social command view of obligation. On this view, there is an element of social command or social sanction that must be added to a judgment of the good in order to bring about an obligation. I argue to the contrary that Hegel's conception of conscience, and thus the individual's role in obligation, is more central to his account than the social dimension. While agreeing with Stern that (...) Hegel's conception of Sittlichkeit does preserve a role for obligation, and that the social plays an important part in that account, I argue that there is no extra social component that converts the morally good into obligation. Rather, Hegel's conception of Sittlichkeit as the “living good” means that judgments of the moral facts are simultaneously judgments of obligation. (shrink)

In this response I first address the criticisms of omission by discussing some of the elements of the original project that were excluded in the final version (section 1). In section 2 I respond to Howard’s criticism that I assume too much transparency in conscience. In section 3 I discuss the problem of evil and the transition in the Phenomenology of Spirit from conscience to religion. I focus here especially on the distinction between Objective and Absolute Spirit, and on how (...) that distinction plays out differently in the Phenomenology and the Philosophy of Right. In section 4 I take up the specifically political issues of conscience, responding to Speight’s suggestion that conscience should have a transformative role and to De Nys’s query about the State’s relationship to dissenting moral and religious views. Finally, in section 5 I take up the issues of whether I and Hegel do justice to the range of uses of conscience and whether or not the Hegelian view is too optimistic about modernity. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

Philosophers ask just whose expression, if anyone’s, we hear in lyric poetry. Walton provides a novel possibility: it’s the reader who “uses” the poem (just as a speech giver uses a speech) who makes the language expressive. But worries arise once we consider poems in particular social or political settings, those which require a strong self-other distinction, or those with expressions that should not be disassociated from the subjects whose experience they draw from. One way to meet this challenge is (...) to consider the poem expressive of a plural subject, which frees us from looking for a particular individual whose voice we hear in the work, whether she be fictional or actual. Some lyrics give voice to a group whose experience is attended to in the work. This may be done through a posited fictional speaker, but the ontology of the speaker is shown to be less important. Attending to a group whose concerns are voiced allows us to explain how poems can manage to address our-worldly concerns even when lacking actual persons whose expressions we encounter in the poems. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

In this paper I would like to offer a new framework for hypothetical reasoning, with the goal of predicting what scenarios we consider when we interpret a conditional or causal claim (such as a sentence containing the word ‘because‘). The idea is that when we interpret a conditional or causal claim, we identify a part of the world to change and imagine changing that. Sentences are about parts of the world: when we interpret a conditional antecedent or because clause, we (...) allow the part of the world it is about to vary. -/- My main evidence for this approach is that it gives just the right range of hypothetical scenarios to account for how we interpret both conditionals and causal claims. Some approaches (such as Stalnaker and Lewis’s semantics of conditionals based on similarity, and Kratzer’s premise semantics) consider too few scenarios, while others (such as Fine’s truthmaker semantics of conditionals) consider too many. The present approach inhabits a Goldilocks zone between these extremes: not too restrictive, not too permissive, but just right. (shrink)

Here we will argue that different kinds of friendships follow different kinds of scaling laws. First, we will review Aristotle’s three types of friendship. Second, we will review three different types of scaling laws. Third, we will show how the three types of friendship roughly map on to the three types of scaling laws. After this, we will discuss some of the consequences of the scaling laws of friendship. We hope that the use of these abstract scaling laws to describe (...) social values will convince computer programmers and policy makers to temper their would-be ambitions as social engineers. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation problem. The first (...) is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

Attributions of certain speech-acts, like dog-whistling and wolf-crying, have an interesting complementary and antagonistic relationship that creates a kind of hostile dialectic and emergent divergence in political discourse. In the following, we will show how the wolf-cry and the dog-whistle are both epistemically difficult speech-acts to attribute, leading to asymmetric uncertainties in attribution. These uncertainties cause the attribution of wolf-cries and dog-whistles themselves to often be both reasonable but unconfirmable epistemic claims. Then, we will show how these patterns of attributions (...) can lead to a reciprocal dialectic of entrenched and self-amplifying dog-whistling versus wolf-crying, until an unhappy status quo is developed. This leads to a number of problems, including an epistemic standoff of standpoints, the attribution saturation of the political discourse, and a condition of self-defeating truth-seeking. Seemingly, the only surefire solution is a unanimous alleviation of such attributions, a standard that may seem insurmountable, though other options can be considered. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

If humans have an evolved moral psychology, then we should not expect it to function in an identical way between individuals. Instead, we should expect a diversity in the function of our moral psychology between individuals that varies along genetic lines, and a corresponding diversity of moral attitudes and moral judgements that emerge from it. This is because there was no one psychological type that would reliably produce adaptive social behaviour in the highly heterogeneous environments in which our minds evolved. (...) As such, there was no single psychological type towards which evolution could gravitate. Instead we evolved a stable polymorphism of psychological types, maintained by frequency-dependent selection, each predisposed towards particular social and moral attitudes and behaviours. This can help explain the existence of moral diversity, particularly intra-cultural moral diversity, and seemingly intractable moral disagreement. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)